Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis

Wireless sensor networks have opened opportunities for new applications and attracted users from domains beyond computer system design. Sensor network design is challenging. It is generally an ad hoc process carried out by embedded system experts. In this dissertation, we argue that human efforts necessary to the design of sensor networks can be reduced with the help of high-level specification languages, compilers, and synthesis tools. We designed and implemented a framework to simplify and automate the design of a class of sensor network applications. Our results show that a sensor network novice given only a few pages of instructions, can successfully specify sensing applications within 30 minutes, compared with hours or days required by prior approaches. Within approximately 30 minutes, our modeling and design exploration techniques translate these specifications into implementations, automatically selecting from among 405,790 designs. Moreover, our memory management and compiler-assisted techniques make difficult-to-implement optimizations available to novice programmers, enabling better tolerance of sensor faults and making 39% more usable memory available than would otherwise be the case. We propose a design process that decouples specification from implementation. Application designers specify abstract functionality and design requirements. Compiler and synthesis tools automatically determine implementation details, optimizing design parameter optimization and generating code. First, we develop a design process in which programming novices (e.g., application experts) use high-level, specification languages designed for particular classes of applications. We focus on the class most commonly encountered